1. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
2. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
3. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
4. Advances in Water Resources Management
پدیدآورنده : / Hao S. Wang-Lawrence K. Wang, Chih Ted Yang, Mu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|WATER RESOURCES&AUTOMATION
رده :
E-BOOK
5. Advances in water resources management
پدیدآورنده : Wang, Lawrence K
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Environmental engineering,، Biotechnology,، Water-supply engineering
رده :
TD
227
.
5
.
A36
2016
6. Advances in water resources management
پدیدآورنده : Lawrence K. Wang, Chih Ted Yang, Mu-Hao S. Wang, editor
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Water-supply engineering,Environmental engineering,Biotechnology,Water, Pollution
رده :
EBOOK
,
TD
.
H37
,
v
.
1
170
7. Algorithms in computational molecular biology
پدیدآورنده : / edited by Mourad Elloumi, Albert Y. Zomaya
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Molecular biology, Data processing,Computer algorithms,Bioinformatics, Mathematical models
رده :
QH506
.
A35
2011
8. Architectural design of multi-agent systems
پدیدآورنده : / Hong Lin [editor]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intelligent agents (Computer software),Electronic data processing- Distributed processing,Computer architecture
رده :
QA76
.
76
.
I58
,
A72
2007
9. Architectural design of multi-agent systems :technologies and techniques
پدیدآورنده : Hong Lin ]editor[
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Intelligent agents )Computer software(,Distributed processing ، Electronic data processing,، Computer architecture
رده :
QA
76
.
76
.
I58
A72
2007
10. Cases on E-Learning Management
پدیدآورنده : / [edited by] Harrison Hao Yang, Shuyan Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Management -- Computer - assisted instruction,Internet in education,Education -- Effect of technological innovations on,Education, Higher -- Effect of technological innovations on,مدیریت -- آموزش به کمک کامپیوتر,اینترنت و آموزش و پرورش,آموزش و پرورش -- اثر نوآوری,آموزش عالی -- اثر نوآوری
رده :
LB1028
,.
3
.
C324
2013
11. Cases on Formal and Informal E-Learning Environments
پدیدآورنده : / Harrison Hao Yang, Central China Normal University, China & State University of New York at Oswego, USA
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Educational technology -- Case studies,Education, Higher -- Effect of technological innovations on -- Case studies,تکنولوژی آموزشی -- نمونهپژوهی,آموزش عالی -- اثر نوآوری -- نمونهپژوهی
رده :
LB1028
,.
3
.
C326
2013
12. Computation, logic, philosophy
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science- Mathematics,Logic, Symbolic and mathematical
13. Computation, logic, philosophy : a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
14. Computational electromagnetics
پدیدآورنده : / Raj Mittra, editor
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electromagnetism, Mathematics,Engineering,Microwaves, RF and Optical Engineering,Circuits and Systems,Magnetism, Magnetic Materials
رده :
E-BOOK
15. Design Exploration of Emerging Nano-scale Non-volatile Memory
پدیدآورنده : \ Hao Yu, Yuhao Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Nanostructured materials,موادنانوساختار,a04,a04,Nonvolatile random-access memory.
رده :
E-Book
,
16. Design and construction of coordination polymers
پدیدآورنده : edited by Mao-Chun Hong, Ling Chen
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Polymerization,Coordination compounds,Polymerisation.- ram,Polymeres.- ram,Polymerkomplexe.- swd
رده :
QD
,
281
,.
P6
,
D465
,
2009
17. Design exploration of emerging nano-scale non-volatile memory
پدیدآورنده : Yu, Hao
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Nanostructured materials,، Electronics and Microelectronics, Instrumentation,، Nonvolatile random-access memory,، Circuits and Systems
رده :
TA
418
.
9
.
N35
2014
18. Dimensional Model Analysis and Processing-Three
پدیدآورنده : / Faxin Yu, Hao Luo, Zheming Lu, Pinghui Wang
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
19. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
20. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579